Polarization identities

We prove a generalization of the polarization identity linear algebra expressing inner product complex space in terms norm, where field scalars is extended to an associative equipped with involution, and viewed as averaging operation over compact multiplicative subgroup scalars. Using this we general form Jordan-von Neumann theorem on characterizing spaces among normed spaces, when are taken algebra.